Linear Program Reconstruction in Practice

A Practical Integer Linear Program Formulation for the Cophylogeny Reconstruction

David Bryant University of Otago, New Zealand Phylogenetics with Nets and a Lasso Joint work with Alethea Rea The (positive) lasso is a widely used method in statistics which selects variables and improves least squares estimates. The key idea is to find the best non-negative least squares estimate min β≥0 ‖Xβ − y‖2 while slapping on the constraint ‖β‖1 ≤ λ. Increasing λ gives (usually) solutio...

Architecture Reconstruction in Practice

The description of the software architecture should communicate the essential decisions that have been taken during the design of the software system. Architecture reconstruction is a reverse engineering activity that aims at recovering past decisions that are either unknown (because not documented or the original developers have left) or new (because originates from the system’s evolution). Th...

Reconstruction vs. Interaction-based Output Practice: (in relation to EFL learner’s speaking skill and learning styles)

  The belief that output practice is crucial in L2 learning affects foreign language teaching methodology. And researchers have endeavored to find the best ways to encourage learners to produce and practice whatever they hear as an input in the process of learning. Moreover, learning styles and the importance of matching learners’ styles with those of teachers inspired the researchers to inves...

Reconstruction of Solar Coronal Linear Force-Free Magnetic Field

Program equivalence in linear contexts

Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those based on bisimulations and logical relations only target at contextual equivalence in the usual (non-linear) functional languages, and fail in capturing non-trivial equivalent programs in linear contexts, particularly w...